mac lane's theorem - French English Dictionary